601. UIST'00 : proceedings of the 13th Annual ACM Symposium on User Interface Software and Technology, San Diego, California, November 5-8, 2000
پدیدآورنده : sponsored by ACM SIGGRAPH and ACM SIGCHI, in cooperation with ACM SIGSOFT
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، User interfaces )Computer systems(,Congresses ، Interactive computer systems,Congresses ، Computer software
رده :
QA
76
.
9
.
U83A23
2000
602. Ubiquitous communications and network computing :
پدیدآورنده : Navin Kumar, R. Venkatesha Prasad (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Computer networks.,Computer science.,Internet of things.
رده :
TK5105
.
5
603. Ubiquitous mobile information and collaboration systems : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, revised selected papers
پدیدآورنده : Luciano Baresi...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer-aided software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
3272
604. Unifying electrical engineering and electronics engineering
پدیدآورنده : Song Xing ... [et al.], editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electrical engineering, Congresses.,Electronics, Congresses.
605. Unifying electrical engineering and electronics engineering :proceedings of the 2012 International Conference on Electrical and Electronics Engineering
پدیدآورنده : Song Xing, Suting Chen, Zhanming Wei, Jingming Xia, editors
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : Congresses ، Electrical engineering,Congresses ، Electronics
رده :
TK5
.
I48
2012
606. Validation and verification of knowledge based systems :
پدیدآورنده : edited by Anca Vermesan and Frans Coenen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
V47
E358
2011
607. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
608. Verified software :
پدیدآورنده : Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
609. Water resources and environmental engineering.
پدیدآورنده : Maheswaran Rathinasamy, S. Chandramouli, K.B.V.N. Phanindra, Uma Mahesh, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Environmental engineering, Congresses.,Groundwater, Congresses.,Water resources development, Congresses.,Hydrogeology.,Hydrology/Water Resources.,Remote Sensing/Photogrammetry.,Water Policy/Water Governance/Water Management.,Environmental engineering.,Environmental management.,Geographical information systems (GIS) & remote sensing.,Groundwater.,Hydrology & the hydrosphere.,TECHNOLOGY & ENGINEERING / Environmental / General.,Water resources development.
رده :
TC401
610. Water software systems: theory and applications
پدیدآورنده : edited by Bogumil Ulanicki, Bryan Coulbeck and John Paul Rance
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Distribution - Data processing - Congresses ، Water,Management - Data processing - Congresses ، Water-supply
رده :
TD
481
.
W382
2001
611. Web Information Systems Engineering – WISE 2015
پدیدآورنده : \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer science.,Computer networks.,نرم‌افزار -- مهندسی -- کنگره‌ها ,علوم کامپیوتر,شبکه‌های رایانه ای
رده :
QA76
.
758
.
W41
2015
E-Book
,
612. Web engineering :
پدیدآورنده : Maxim Bakaev, Flavius Frasincar, In-Young Ko (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.
رده :
TK5105
.
888
613. Web engineering
پدیدآورنده : Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering, Congresses,Web services, Congresses,World Wide Web, Congresses
رده :
TK5105
.
888
.
I28
2012eb
614. Web information systems and mining :
پدیدآورنده : Zhiguo Gong [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data mining, Congresses,Semantic Web, Congresses,Web services, Congresses
رده :
TK5105
.
88815
.
W57
2011
615. Web information systems engineering -- WISE 2018 :
پدیدآورنده : Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information storage and retrieval systems, Congresses.,Software engineering, Congresses.,Web services, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information storage and retrieval systems.,Software engineering.,Web services.
رده :
TK5105
.
88813
616. Wireless and satellite systems :
پدیدآورنده : Min Jia, Qing Guo, Weixiao Meng (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Wireless communication systems, Congresses.,Wireless communication systems.
رده :
TK5103
.
2
617. agent systems V-Software engineering for multi
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
618. 3rd IEEE Symposium on Application-Specific Software Engineering Technology: proceedings, March 24-25, 2000, Richardson, Texas
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Application software,Congresses ، Software engineering
رده :
QA
76
.
76
.
A65
.
I52
2000
619. xi, 306 p. :
پدیدآورنده : Asra Q. Nomani.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
